Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
921	A Reader Framework for Guile for Guile-Reader 0.6 Ludovic Court` es Add to Reading List Source URL: www.nongnu.org Language: English - Date: 2012-05-08 16:58:32 GNU Guile Scheme Lisp Reader Lay reader Programming language theory Software engineering Computer programming
922	Microsoft PowerPoint - Issues_Cell_Supercomputing Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2007-06-12 07:47:58 C programming language C++ Cell C++ classes Struct ALGOL 68 Lis Software Computing Programming language theory
923	“Technology is just a tool. In terms of getting the kids working together and motivating them, the teacher is the most important.” Bill Gates Add to Reading List Source URL: www.telfair.ac.mu Language: English - Date: 2014-09-12 15:24:11 ALGOL 68 Software engineer Index of software engineering articles Index of articles related to BlackBerry OS Programming language theory Software engineering Computing
924	Revised5.97 Report on the Algorithmic Language Scheme — Non-Normative Appendices — MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON (Editors) Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 01:14:13 Procedural programming languages Unix Scripting languages Computer file formats Cross-platform software Scheme Shebang Shell script ALGOL Computing Software engineering Programming language theory
925	Chapter 1. The Syntax Definition Formalism SDF Mark van den Brand Paul Klint Jurgen Vinju:18:09 +0200 (Mon, 22 Oct 2007) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Programming language theory Parser generators Programming language implementation Syntax Definition Formalism ASF+SDF Meta Environment SDF2 Attribute grammar Parsing Formal languages Software engineering Computing
926	Channel Systems with Priorities Priority Embedding Computational Power Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-03-20 12:27:57 Turing completeness C1 Amines Turing machine Theory of computation Programming language theory
927	WG 14/N1681 Meeting Minutes: C Floating-Point Study Group Teleconference February 14, AM P12T / 1 PM EDT Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-03-24 08:59:15 Programming language theory C Cross-platform software Function Computing Software engineering C programming language
928	Microsoft PowerPoint - HORUS Presentation Rome 2008 Add to Reading List Source URL: due.esrin.esa.int Language: English - Date: 2015-04-29 08:48:07 Computer programming ALGOL 68 C++ classes Circular buffer C++ Computing Programming language theory
929	WG14 N1764 INCITS PL22.11/13‐002 Date: 2013‐10‐03 Reply To The Attention Of: Barry Hedquist PL22.11 Secretary Email: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-10-28 08:01:59 Cross-platform software Procedural programming languages C++ Action item C ALGOL 68 Software engineering Computing Programming language theory
930	A Veried Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Programming language implementation PreScheme Scheme programming language Logic in computer science Programming language semantics Denotational semantics Compiler Scheme Programming language Software engineering Computing Programming language theory

UPDATE